Verification and Validation of Ethical Decision-making in Autonomous Systems

نویسنده

  • Levent Yilmaz
چکیده

Autonomous systems are increasingly becoming part of both the cyber and physical infrastructures that sustain our daily lives. Immersing these technologies into our technical and social infrastructures has profound implications and hence requires instilling confidence in their behavior to avoid potential harm. This paper examines the characteristics of autonomous behavior in relation to ethical decision-making and highlights the roles of cognitive computing and science of complexity toward addressing the identified verification and validation challenges. A framework influenced by the social intuitionist theory is discussed, and wide reflective equilibrium model of coherence is posited as a formal computational strategy for its implementation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reducing complexity of autonomous control agents for verifiability

The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a limited instruction set agent (LISA) is introduced. The new decision method is structurally simpler than its predecessors and easily lends itself to both design time and runtime verification methods. The process of conve...

متن کامل

The Challenges of V&v to Provide Rigorous Validation and Verification Of

THE REALM OF SPACE EXPLOration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for humanin-the-loop decision-making. Autonomous control systems raise difficult verification and validation issues. V&V techniques are needed that significantly increase confidence in these decision-ma...

متن کامل

Towards Verifiably Ethical Robot Behaviour

Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional ‘governor’ that assesses options the system has, and prunes them to select the most ethical choices is well understood. Recent work has produced such a governor consisting of a ‘consequence engine’ that assesses the likely future outcomes of actions then applies a Safety/Ethi...

متن کامل

Analytic Verification of Flight Software

IN THE REALM OF SPACE EXPLOration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for humanin-the-loop decision-making. Autonomous control systems raise difficult verification and validation issues. V&V techniques are needed that significantly increase confidence in these decision...

متن کامل

ELECTRE I-based group decision methodology with risk preferences in an imprecise setting for flexible manufacturing systems

A new hesitant fuzzy set (HFS)-ELECTRE for multi-criteria group decision-making (MCGDM) problems is developed in this paper. In real-world applications, the decision makers (DMs)’ opinions are often hesitant for decision problems; thus, considering the exact data is difficult. To address the issue, the DMs’ judgments can be expressed as linguistic variables that are converted into the HFSs, con...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017